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 
 Visual Prolog

Ohjelmointikielet