Scribd Logo
Importer

Bienvenue sur Scribd !

  • Παυλος Σακελλαριδης it21359 Κοβας Βασιλης it21398

    Transféré par

    smdfiasdngf
    18 vues3 pages
    The document contains code in Prolog for defining relationships within families using facts and rules. It includes definitions for parent/2, includes/2, male/1, ancestor/2, and rel/3 predicates. Exercise 2.1 defines ancestor and rel relationships between family members based on the number of steps in the family tree. Exercise 2.3 defines predicates for checking if something is a list (is_list/1) and inserting an element into a list at a given position (ins/4).

    Description originale:

    askisi 2

    Titre original

    Askhsh 2

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Signaler ce document
    The document contains code in Prolog for defining relationships within families using facts and rules. It includes definitions for parent/2, includes/2, male/1, ancestor/2, and rel/3 predicates. Exercise 2.1 defines ancestor and rel relationships between family members based on the number of steps in the family tree. Exercise 2.3 defines predicates for checking if something is a list (is_list/1) and inserting an element into a list at a given position (ins/4).

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    18 vues3 pages

    Παυλος Σακελλαριδης it21359 Κοβας Βασιλης it21398

    Transféré par

    smdfiasdngf
    The document contains code in Prolog for defining relationships within families using facts and rules. It includes definitions for parent/2, includes/2, male/1, ancestor/2, and rel/3 predicates. Exercise 2.1 defines ancestor and rel relationships between family members based on the number of steps in the family tree. Exercise 2.3 defines predicates for checking if something is a list (is_list/1) and inserting an element into a list at a given position (ins/4).

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Signaler comme contenu inapproprié
    sur 3

    it21359

    it21398

    2.1

    )
    )

    2.2

    family(nikos, maria, [giorgos, eirini]).


    family(giorgos, eleni, [tasos]).

    %boithitikes synartiseis

    parent(X,Y) :- family(X,Z,T), includes(T,Y).


    parent(X,Y) :- family(Z,X,T), includes(T,Y).

    includes([X|T], X).
    includes([H|T], X) :- includes(T,X).

    male(X) :- family(X,_,_).

    ) ancestor(X,Y,1) :- parent(X,Y).
    ancestor(X,Y,K) :- parent(X,Z), ancestor(Z,Y,KK), K is KK+1.

    ) rel(X,Y,K) :- ancestor(X,Y,K).
    rel(X,Y,K) :- ancestor(Y,X,K).
    rel(X,Y,K) :- ancestor(Z,X,K1), male(Z), ancestor(Z,Y,K2), X\=Y, K is K1+K2, KK is K-2,
    not(rel(X,Y,KK)).

    2.3

    )is_list([_;_]).
    is_list([]).

    append([],X,X).
    append([X;X1],Y,[X;X2]) :- append(X1,Y,X2).
    )ins(Element,List,Nth,Result) :-
    length([_|L0],Nth),
    append(L0,[_|R],List),
    append(L0,[Element|R],Result).

    Vous aimerez peut-être aussi