Visual Prolog
Visual Prolog on ohjelmistokehitin, jossa yhdistyy logiikkaohjelmointi ja olio-ohjelmointi. Se on laajennus Prologiin joka tukee tyyppijärjestelmää.
Hanoi Example
class hanoi predicates hanoi : (unsigned N). end class hanoi implement hanoi domains pole = string. clauses hanoi(N) :- move(N, "left", "centre", "right"). class predicates move : (unsigned N, pole A, pole B, pole C). clauses move(0, _, _, _) :- !. move(N, A, B, C) :- move(N-1, A, C, B), stdio::writef("move a disc from % pole to the % pole\n", A, C), move(N-1, B, A, C). end implement hanoi goal console::init(), hanoi::hanoi(4).
Aiheesta muualla
- Visual Prologin kotisivu (Arkistoitu – Internet Archive)
- Visual Prolog