- 博客(1)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 Meta-Interpretive Learning元解释学习(一)
1、元解释学习MIL元解释学习MIL(Meta-Interpretive Learning)是最新提出的一种归纳逻辑编程ILP(Inductive Logical Programming)方法。元解释学习通过给定的背景知识BK和实例E以及专用的元解释器诱导生成假设程序，学习过程中支持谓词构造和递归概念的定义。2、元解释学习MIL框架3、元解释学习MIL实例...
2018-06-05 09:56:16
1383
SWI-Prolog7.7.23手册
swil -Prolog是一种全面的、可移植的Prolog编程语言实现。swil - prolog旨在成为支持广泛应用程序的健壮且可伸缩的实现。特别是，它附带了大量的接口库，为其他语言、数据库、图形和网络提供接口。它为管理HTML/SGML/XML和RDF文档提供了广泛的支持。该系统特别适合于服务器应用程序，因为它对多线程和HTTP服务器库。
2018-12-04
Visual Prolog语言手册
Visual Prolog语言手册
本文档描述可视化Prolog编程语言的语法和语义。
Visual Prolog是一种基于逻辑的强类型面向对象编程语言。
编程语言Prolog。
2018-08-02
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人