Visual Prolog
Fra Wikipedia, den frie encyklopædi
Visual Prolog, tidligere kendt som PDC Prolog og Turbo Prolog, er en dansk produceret, stærkt typet[1], objektorienteret udvidelse af Prolog. Som Turbo Prolog blev det markedsført af softwaregiganten Borland, men på ny markedsføres og udvikles det af det danske firma Prolog Development Center (PDC) som oprindeligt udviklede det.
Visual Prolog er kompileret snarere end fortolket, som ellers er almindeligt for logik-programmeringssprog.
Kernen i Visual Prolog er Horn-klausuler som i traditionel Prolog, men modsat traditionel Prolog har Visual Prolog altid været stærkt typet. Siden version 6.0 har sproget været fuldt objektorienteret, og i version 7.0 blev parametrisk polymorfi introduceret.
- ↑ "stærkt typet" eller "stærkt typiseret" vil sige at programmøren tvinges til at angive af hvilken type den pågældende variabel er: fx tal- eller tekst-variabel
[redigér] Hanoi Example
class hanoi
predicates
hanoi : (unsigned N).
end class hanoi
implement hanoi
domains
pole = string.
clauses
hanoi(N) :- move(N, "venstre", "midterste", "højre").
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("flyt en skive fra stang % til stang %\n", A, B),
move(N-1, C, B, A).
end implement hanoi
goal
console::init(),
hanoi::hanoi(4).
[redigér] Se også
- Prolog
- Objektorienteret programmering, herunder Polymorfi
[redigér] Eksterne kilder/henvisninger
- Officiel Visual Prolog hjemmeside
- Prolog Development Center
- Logic programming, engelsk Wiki-side om logical programming, programmering ud fra logiske principper
| Denne it-artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den. |

