home—lectures—exams—hws—breeze (snow day)
lect11a-prolog-basics2
prolog intro
tutorials: www.learnprolognow.com
AdventureInProlog
You can also run jlog, a web interpreter: see hints on Running JLog
We saw already:
- run /usr/local/bin/xsb from rucs
- facts vs rules
-
To load a file family.P from the xsb prompt, type:
[family].
-
a standard family-tree example: 'father(X,Y) :- male(X), parent(X,Y).'
-
Self-exercise: grandfather, w/ a partner.
(What is the def'n in English, for "Old is a grandparent of Yng"?)
-
talk/reflect about how this is declarative programming
(just saying 'prolog searches for all solutions', without saying more);
-
write a recursive rule: 'ancestor'.
-
have them take a crack at writing with a partner:
-
nth-father (generalized grandfather; call 'ancestor')
-
sameLastName (or, “sameYChromosone”): check for male-only lineage
-
Write cousin.
-
Digress, in English:
cousin, 2nd cousin, 3rd cousin;
nth cousin m times removed.
-
Write nthCousin (which detects exact nth-cousins, 0 times removed)
-
Remember facts just rules w/o variables;
no intrinsic difference inside prolog.
home—lectures—exams—hws—breeze (snow day)
radford.edu