TY - BOOK ID - 5432202 TI - Logic programming : Prolog and stream parallel languages PY - 1990 SN - 0135398428 9780135398425 0724807004 9780724807000 PB - Englewood Cliffs (N.J.): Prentice Hall DB - UniCat KW - Logic programming. KW - Prolog (Computer program language) KW - Parallel processing (Electronic computers) KW - Programmation logique KW - PROLOG (Langage de programmation) KW - Parallélisme (Informatique) KW - 681.3*I23 KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Parallélisme (Informatique) KW - Fcp KW - Guarded Morn Clauses KW - Parlog KW - Ghc KW - Concurrent Prolog KW - Prolog (langage de programmation) KW - Implementation KW - Wam UR - https://www.unicat.be/uniCat?func=search&query=sysid:5432202 AB - ER -