Printable View
I need some help on First Predicate Order Logic for my project. All I need is just to reverse it.
Would you like to translate to English statement? These are just examples.
1. male('Loony BoB').
2. parent('Loony BoB','Agent Proto').
3. mother(X,Y) :- parent(X,Y), female(Y).
4. sister(X,S) :- female(S), parent(S,P), parent(X,P), X \== S.
Thanks!
I have no idea what any of that means.
By the way, the programming language is in PROLOG.Quote:
Originally posted by ShlupQuack
I have no idea what any of that means.
I like to make up langauges too. And steal cookies.
1. Loony BoB is male, maybe :pQuote:
Originally posted by Wind Shear
I need some help on First Predicate Order Logic for my project. All I need is just to reverse it.
Would you like to translate to English statement? These are just examples.
1. male('Loony BoB').
2. parent('Loony BoB','Agent Proto').
3. mother(X,Y) :- parent(X,Y), female(Y).
4. sister(X,S) :- female(S), parent(S,P), parent(X,P), X \== S.
Thanks!
2. Agent Proto is the parent of Loony BoB. (Probably :D )
3. Y is the mother of X if Y is a parent of X and Y is female.
4. S is a sister of X if S is female, P is a parent of S, P is also a parent of X, and X is not S (last clause is needed otherwise it'll match X as a sister to itself if the rest are true :p )
Thanks. And I almost forgot! The said codes must be converted to First Order Predicate Logic! *headbangs himself on the wall*
That's all I need!
I know first-order logic, but I don't know prolog. I'm just guessing the :- represents implication, i.e. ->, or it might represent the <-> operator. Commas likely represent AND, i.e. a symbol I can't post in HTML. 3 and 4 are universal statements, so you need the upside-down A universal quanifier symbol. So for example
FORALL P,S,X sister(X,S) -> female(S) AND parent(S,P) AND parent(X,P) AND NOT X == S.
Replacing the words in caps with the appropriate symbols. Don't know if that helps, or if you still even need help.
Gah, prolog, prolog, prolog, why does everyone go on about such a declaritive language? Why? WHY?!?!
*Goes insane*
Prolog has its uses though. For example, torturing prisoners of war.
And poor A-level candidates whose teacher talks about it EVERY lesson....Quote:
Originally posted by Dr Unne
Prolog has its uses though. For example, torturing prisoners of war.