J.-M Jacquet

• Conclog
• Constructing logic programs