Logic Programming - New Frontiers

Inbunden, Engelska, 1992

AvD.R. Brough,London) Brough, D.R. (Department of Computing, Imperial College,D. R. Brough,D R Brough

1 549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

A collection of papers from the Second Conference of the Association for Logic Programming. It contains contributions from leading researchers on the theory, applications and implementations of logic programming. The work should be of interest to researchers in logic programming, Prolog programmers and computer scientists generally.

Produktinformation

Utgivningsdatum1992-01-31
Mått160 x 241 x 24 mm
Vikt653 g
FormatInbunden
SpråkEngelska
Antal sidor300
FörlagKluwer Academic Publishers
ISBN9780792315469

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT

A framework for principled debugging of Prolog programs; a model of OR-parallel Prolog execution using graph reduction; applications of constraints logic programming; control engineering applications in Prolog; event abstraction debuggers for layered systems to Prolog; extending the integrity maintenance capability in deductive databases; GAP - an experiment in model-oriented programming; in search of more parallelisms; logic, language and the quest for intelligence; metalevel and constraint technology in a pure logic language; reconciling systems and deductive capacities in knowledge-based systems using logic programming; term-encodable description systems; using Prolog to animate mathematics. (Part Contents)