Software Crisis Revisited

Question 1

How do logic programs work with software engineering?

Answer 1

Logic programs can serve as executable specifications, that can be made more efficient by program transformation.

Question 2

How do logic programs work with databases?

Answer 2

In the field of databases, logic programs have been shown to be adequate both as a query language, and for describing integrity constraints.

Question 3

How do logic programs work with computer architecture?

Answer 3

In the field of computer architecture, logic programs provide a way to overcome the von Neumann bottleneck through single assignment.

Question 4

How do logic programs work with artificial intelligence?

Answer 4

In the field of AI, logic programs naturally implement rules of the form A if B1 and … and Bn