Extensions to LP

See separate sub-sections on parallelism, and meta-level features.

Contents

• Temporal Logic Resources

• Bibliography on Integrating OOP and LP

• Inductive LP

• Fuzzy LP Papers

• Set Based Languages

• Andorra and AKL

• Lazy functional/Logic Programming

• Fuzzy LP References

• Bottom-Up Evaluation of F-logic Programs

• Inductive LP, EBG and Uncertainty

• Purifying Prolog, Monads?

• Predicates vs Functions

• Object Variables

• Algebra of Binary Relations

• Combining Functional and Logical Features

• Term Generalization