Prolog -- symetrical predicates -


I want to emulate the family tree and I have a problem of similar future Fact: 

  Parent (X, Y) Male (X). Female (y). Age (x, number)

Rule:

blood relation is giving me headache Done: 

  blood_relation (x, y): - ancestor (x, y). Blood_relation (x, y): - uncle (x, y); Brother (x, y); Sister (x, y), (mother (z, y), sister (x, z)); (Father (z, y), sister (x, z)); (Father (Z, Y), Brother (X, Z)). Blood_relation (x, y): - uncle (x, z), blood_relation (z, y).

And I'm getting satisfactory results (my double print - I can fix it), the problem is that I want this connection to be symmetrical. It is no longer 

  blood_relation (jones_father, joh): yes blood linkage (John, Johnsfather): no

like this .. The way. And I need a query: All pairs that are not in blood-related.

Update:

What is the first statement to complete the relationship? Blood-related (x, y): - blood-related (x, y).

Sorry .. this is a bad copy / paste..aite 

  is blood_relation (x, y): - ancestor (x, y).

Now fixed above.

Here are other rules: 

  Father (X, Y): - Guardian (X, Y), Male (X). Mother (X, Y): - Parents (X, Y), Women (X). Brother (X, Y): - Parents (Z, X), Parents (Jade, Y), Men (X). Sister (X, Y): - Parents (Z, X), Parents (Z, Y), Women (X). Dada (X, Y): - Parents (Jade, Y), Parents (X, Z), Men (X). Grandmother (X, Y): - Parents (Z, Y), Parents (X, Z), Women (X). Uncle (X, Y): - Mom (Z, Y), Brother (X, Z) Ancestor (X, Y): - Ancestor (X, Y). Ancestor (X, Y): - Parents (X, Z), Ancestor (Z, Y).

Mother's brother is in Chacha's definition. It is strange that I have a rule that I need to implement, and I do not know how I can apply the rules besides . I'm just confused.

Any idea how to make blood_relation symmetrical? And not_blood_relation is a new rule and I need a query. It is actually giving me a headache because the relationship is written like crap.

There is no other fact that just so much. All the rules, and all the facts, and all the facts.

query .. no (blood linkage (x, y)) does not work, and I do not really know why the question for example: 

  Age (X, Y), Y & gt; 18, not (parent (x, z)), write (x), nl, fail

Just works fine

Looks like a little homework It is not ...

A trick that does not think of Prol's earliest ideas is a pattern matching. As the tree [a1, [[a2], [b2, [[e3]] [f3]]] [c2]]] as = [root, [ & lt; Tree1 >, & lt; Tree2 >, ...]]: 

 % Are the immediate children of Y X? Children (X, Y, [X | S]): - Select a tree in the member ([or | _], S) and check the child (X, Y, [x | S]): - Member ([ Jade | SS], S), Children (Z, Y, [Z | SS]). % X and y end with the same root? Sib (X, Y, [R | T]): - Children (R, X, [R | T]), Children (R, Y, [R | T]).

I think that you can improve this kind of situation, use joints as a root, adding gender, giving names of specific relationships of members of the trees Are ...


Comments

Post a Comment

Popular posts from this blog

python - Overriding the save method in Django ModelForm -

I'm having trouble overriding a ModelForm save method. I get this error I'm: Exception type: TypeErier Exception Value: Save () found an unexpected keyword argument 'committed' My intentions include a form 3 fields Submit several values ​​for, then create an object for each combination of those areas, and to save each object file models.py class collarsult type (models.Model): id = model. AutoField (db_column = 'icontact_result_code_type_id', primary_key = true) callResult = models.ForeignKey ( 'CallResult', db_column = 'icontact_result_code_id') campaign = models.ForeignKey ( 'campaign', db_column = 'icampaign_id') CALLTYPE = models.ForeignKey ( 'CALLTYPE', db_column = 'icall_type_id') agent = models.BooleanField (db_column = 'bagent', default = true) teamLeader = models.BooleanField (db_column = 'bTeamLeader', default = true) active = models.BooleanField (db_column = Django.form...
Read more

html - CSS autoheight, but fit content to height of div -

I have a div in which there are three children- div in the left and middle div: float: left while true: float: true because it is my layout Actually will spoil, I've used ClearFix Hack: .cf {zoom: 1; }. Cf: First,. Cf: {content: ""; Display: Table; }. Cf: After {clear: both; } It still works, but I want to be the right div an indicator. So it should fill 100% of the parent unit of height. How can I complete this? PS is the full code: & Lt; / Div & gt; & Lt; Div class = "mobile_content" & gt; & Lt; H5 & gt; {{Data.titel}} & lt; / H5> & Lt; Table & gt; & Lt; TR & gt; & Lt; Th & gt; Komponist: & lt; / Th & gt; & Lt; TD & gt; {{Data.komponist}} & lt; / TD & gt; & Lt; / TR & gt; & Lt; TR & gt; & Lt; Th & gt; Instrument: & lt; / Th & gt; & Lt; TD & gt; {{Data.instrumente}} & lt; / TD & gt; & Lt; / TR & gt;...
Read more

qt - How to prevent QAudioInput from automatically boosting the master volume to 100%? -

I have been trying to use Qt5 multimedia to record audio with QAudioInput, however, when I see If QAudioInput is started, it increases the master volume of my sound device to 100%. How can I prevent QAudioInput from changing the master volume? My current development platform is Linux with PalsAdio (with flat audio disabled). How can I use QAudioInput : QAudioDeviceInfo device_info = QAudioDeviceInfo :: defaultInputDevice (); QAudio format format; Format.setSampleRate (44100); Format.setChannelCount (1); Format.setSampleSize (16); Format.setCodec ("Audio / PCM"); Format.setSampleType (QAudioFormat :: SignedInt); Format.setByteOrder (QAudioFormat :: LittleEndian); Std :: cout & lt; & Lt; Device_info.deviceName (). ToUtf8 (). ConstData () & lt; & Lt; Std :: endl; QAudioInput * default_device = new QAudioInput (device_info, format); QIODevice * default_io_device = default_device-> Start (); a QAudioInput.setVolume () method is not you I ...
Read more