Results 231 to 240 of about 59,537 (244)

Prolog

2002
Wolf W. Lasko, Peter Busch
openaire   +1 more source

Logikprogrammierung mit Prolog

2008
Im Vergleich zu klassischen Programmiersprachen wie zum Beispiel C oder Pascal bietet die Logik die Moglichkeit, Zusammenhange elegant, kompakt und deklarativ zu beschreiben. Automatische Theorembeweiser sind sogar in der Lage, zu entscheiden, ob eine Anfrage logisch aus einer Wissensbasis folgt.
openaire   +2 more sources

Was ist Prolog? / What is Prolog?

itit, 1984
Peter Schnupp, Ute Leibrandt, C. Schmauch   +2 more
openaire   +2 more sources

Prolog

2000
openaire   +1 more source

Prolog

1992
openaire   +1 more source

Programming in Prolog

1984
William F. Clocksin, Christopher S. Mellish   +1 more
openaire   +1 more source

PROLOG

2018
openaire   +1 more source

Koza a Prolog

2015
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm that operates with the logical programming paradigm. SWI-Prolog is used for the actual implementation of such a program.
openaire   +2 more sources

Prolog

2009
Christoph Meinel, Harald Sack
openaire   +1 more source

Prolog II

AI Communications, 1988
openaire   +2 more sources