Declarative Logic Programming Theory, Systems, and Applications

Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimu...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Michael, Kifer, Liu, Yanhong
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	San Rafael Association for Computing Machinery 2018
Ausgabe:	1
Schlagworte:	Declarative programming Logic programming
ISBN:	1970001968, 9781970001969
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!