]> 2026-05-15T17:20:27+00:00 Logic programming languages 14 en Logic programming languages Absys 0 en Absys Alma-0 0 en Alma-0 CHIP (programming language) 0 en CHIP (programming language) CycL 0 en CycL Datalog 0 en Datalog ECLiPSe 0 en ECLiPSe F-logic 0 en F-logic Fril 0 en Fril Game Description Language 0 en Game Description Language Gödel (programming language) 0 en Godel (programming language) Maude system 0 en Maude system Oz (programming language) 0 en Oz (programming language) Planner (programming language) 0 en Planner (programming language) Prolog 0 en Prolog ROOP (programming language) 0 en ROOP (programming language) ToonTalk 0 en ToonTalk Transaction logic 0 en Transaction logic Twelf 0 en Twelf Prolog programming language family 14 en Prolog programming language family Absys 0 en Absys Alma-0 0 en Alma-0 CHIP (programming language) 0 en CHIP (programming language) CycL 0 en CycL Datalog 0 en Datalog ECLiPSe 0 en ECLiPSe F-logic 0 en F-logic Fril 0 en Fril Game Description Language 0 en Game Description Language Gödel (programming language) 0 en Godel (programming language) Maude system 0 en Maude system Oz (programming language) 0 en Oz (programming language) Planner (programming language) 0 en Planner (programming language) Prolog 0 en Prolog ROOP (programming language) 0 en ROOP (programming language) ToonTalk 0 en ToonTalk Transaction logic 0 en Transaction logic Twelf 0 en Twelf INST 102 en INST Subcategory of 102 en Subcategory of