Meta programming

Lecture slides

pdf git v1.13.1

Encodings

• meta
• models
• supported-model
• here-and-there-models
• diverse

Literature

• R. Kaminski, J. Romero, T. Schaub, and P Wanko (2023). “How to build your own ASP-based system?!”. In: Theory and Practice of Logic Programming 23.1, pp. 299-361. pdf