| 
|
Quote: viability of logic programming depends on an auxiliary control language for sequencing the proof procedure
topics >
all references >
references i-l >
Topic:
problems with logic programming
Quotation Skeleton
The viability of predicate logic as a programming … with the ability to specify appropriate sequencing instructions … [cbb: major problem!!] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: problems with logic programming (10 items)