顶盖概率归纳逻辑编程系统
Liftcover probabilistic inductive logic programming system (2023-12-30, Prolog, 0KB, 下载0次)
概率逻辑编程最终项目-采样,
Probabilistic Logic Programming Final Project - Sampling, (2023-09-08, Prolog, 0KB, 下载0次)
COMP30020的作业2-声明式编程。用Prolog编写的数学难题的解算器
Assignment 2 for COMP30020 - Declarative Programming. A solver for a Maths puzzle written in Prolog (2017-11-29, Prolog, 0KB, 下载0次)
使用prolog clpfd解决数学难题[Unimelb的COMP30020(声明性编程)项目工作]
Use prolog-clpfd to solve math puzzles [project work for COMP30020 (Declarative Programming) at Unimelb] (2023-04-18, Prolog, 0KB, 下载0次)
COMP30020-声明性编程-2019S2-项目2
COMP30020 - Declarative Programming - 2019S2 - Project2 (2020-07-18, Prolog, 0KB, 下载0次)