Prolog ist eine häufig für KI-Programmierung verwendete Programmiersprache, die auf der Prädikatenlogik erster Stufe basiert; 1973 von dem Franzosen Alain Colmerauer entwickelt. Grundlage für den Inferenzalgorithmus ist das Resolutionsverfahren. Künstliche Intelligenz, Programmierung.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.