Hogere-orde-modelleertalen voor eerste-orde-oplossingssystemen KU Leuven
Veel vaakvoorkomende computationele problemen kunnen voorgesteld worden als modelexpansie problemen, dit probleem bestaat uit het zoeken naar een oplossing die voldoet aan een verzameling voorwaarden. Veel verschillende aanpakken, paradigma's en talen worden gebruikt om dit soort problemen aan te pakken. Sommige zijn gestandariseerd zoals Answer Set Programming (ASP) of Minizinc. Andere talen hebben maar één implementatie zoals de FO(.) ...