使用Prolog开发了一个人工智能驱动的自动驾驶系统，专注于逻辑编程和问题解决。构建了交通逻辑和方向控制的详细知识库，旨在模拟符合加拿大驾驶法规的真实世界场景。
Developed an AI-driven autonomous driving system using Prolog, focusing on logic programming and problem-solving. Constructed a detailed knowledge base for traffic logic and direction control, engineered to simulate real-world scenarios in compliance with Canadian driving regulations. (2024-01-26, Prolog, 0KB, 下载0次)
布宜诺斯艾利斯基于位置的小组项目专家系统。
Expert system for Location Based group project in Buenos Aires. (2023-12-10, Prolog, 0KB, 下载0次)
在序言中实现贝叶斯网络
Implemented Bayesian Network in prolog (2023-11-07, Prolog, 0KB, 下载0次)
研究一个从斯隆数字巡天中挑选的中等红移恒星暴后星系的显著样本，
Studying a remarkable sample of intermediate redshift post-starburst galaxies selected from the Sloan Digital Sky Survey, (2021-07-14, Prolog, 0KB, 下载0次)
Prolog中的吉尔吉斯斯坦病理学，
Kyrgyz morpgology in Prolog, (2019-06-02, Prolog, 0KB, 下载0次)
马斯喀德定理证明是一个基于知识的系统。在自然演绎的基础上，运用了与自然演绎相似的方法...
The Muscadet Theorem Prover is a knowledge-based system. Based on natural deduction, it uses methods which resemble those used by humans, implemented in one or several bases of facts. The output is an easily readable proof. (2018-12-07, Prolog, 1010KB, 下载0次)
Ivan Bratko Prolog Examples，人工智能的Prolog PROGRAMMING FOR ARTIFICIAL INTELLIGENCE，伊凡·布拉特科，E.Kardelj大学。南斯拉夫J.Stefan研究所
Ivan-Bratko-Prolog-Examples,PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE by lvan Bratko, E.Kardelj University. J.Stefan Institute Yugoslavia (2022-08-07, Prolog, 8177KB, 下载0次)
AI_lab2,prolog语言 part1: 解决爱因斯坦谜题、汽车问题、过河问题 part2:智能推荐穿衣搭配专家系统
AI_ Lab2, prolog language part1: solving Einstein s puzzles, car problems, and river crossing problems part2: intelligent recommendation of clothing matching expert system (2017-08-05, Prolog, 640KB, 下载0次)