Logical Programming

A form of Declarative Programming that specifies Relation between objects. System instantiates objects to make relations true. Thing are proven by search.

List

• Prolog
• Verilog

Cool Tricks

• Assertion Programming