A different kind of language: Prolog, programming in logic - Journal of

A brief description of the Prolog language and an attempt to show how this type of language functions by using some short examples to illustrate its e...
0 downloads 3 Views 5MB Size
computer Jerk/. 68

edited by JOHN W.MOORE

, , , iM. . , .

,niver~i,,,mti,~

48197

A Different Kind of Language: Prolog, Programming in Logic D. Cabrol Centre de Recherche Pedagogique et de Renovation Didactique en Chimie, Universite de Nice, Nice, France T. P. Forrest Dalhousie University, Halifax, Nova Scotia. Canada

Very high level languages ( I ) are now availahle that allow the user to write nroerams from the voint of view of "what" he would have the program do rather than "how" i t should he done. These languages are the products of Artificial Intelligence research, h i h e y are