用写文章的方式写程序--“三维度”逻辑编程语言的设计（1）
1、 前言 前几个月，看到园子里面一篇介绍逻辑编程语言的文章《逻辑式编程语言极简实现（使用C#）》，觉得作者写得很有趣，用讲故事的方式来讲述了一个极简逻辑编程语言的设计，于是我也萌生了写一篇有关逻辑编程语言的文章。说实话，我很早就接触了逻辑编程的概念，最开始学编程的时候就想着有朝一日 ...
原文：逻辑式编程还有用吗？--“三维度”逻辑编程语言的设计（2）
，逻辑编程语言能做什么 这两天正在构思这个 三维度 逻辑编程语言的设计系列的下一篇该怎么写，正好在上一篇 用写文章的方式写程序 三维度 逻辑编程语言的设计 有位叫做dwcz 的朋友回帖说： 没啥特点。新出的语言都快实现的功能，还在这里进行理论构想。逻辑式编程基本被否定了，和函数式有同样问题 只能在简单或静态环境，在复杂或动态环境，造成的问题比要解决的问题还多。 不知道这位朋友具体是出于什么原因这 ...
2020-09-24 17:49 4 708 推荐指数：
相关推荐
Actor:人生如戏全靠演技--“三维度”逻辑编程语言的设计（3）
在上一篇介绍了逻辑编程的作用，介绍了逻辑编程中的一些概念，包括逻辑程序的结构：事实、规则和问题；知识的表达方式：谓词演算、产生式规则，以及这些概念与三维度（角色+场景+时间）理论的契合关系，正式提出了“三维度逻辑编程”这个概念。为了更好的体现“三维度”的关系，今天要重点介绍一下角色的扮演者 ...
逻辑式编程语言极简实现（使用C#） - 1. 逻辑式编程语言介绍
相信很多朋友对于逻辑式编程语言，都有一种最熟悉的陌生人的感觉。一方面，平时在书籍、在资讯网站，偶尔能看到一些吹嘘逻辑式编程的话语。但另一方面，也没见过周围有人真正用到它（除了SQL）。 遥记当时看《The Reasoned Schemer》（一本讲逻辑式编程语言的小人书），被最后两页的解释器实现 ...
编程语言是一种逻辑语言（形式语言）
编程语言是表达逻辑推演的语言，是逻辑语言的一个变种； 计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的； 形式语言理论主要研究的是内部结构模式这类语言的纯粹的语法领域。形式语言理论是从语言学衍生而来，作为一种理解自然语言的句法规律。在计算机科学中，形式语言通常作为定义 ...
逻辑式编程语言极简实现（使用C#） - 4. 代码实现（完结）
本文是本系列的完结篇。本系列前面的文章： 逻辑式编程语言极简实现（使用C#） - 1. 逻辑式编程语言介绍 逻辑式编程语言极简实现（使用C#） - 2. 一道逻辑题：谁是凶手 逻辑式编程语言极简实现（使用C#） - 3. 运行原理 下午，吃饱饭的老明和小皮，各拿着一杯刚买 ...
逻辑式编程语言极简实现（使用C#） - 2. 一道逻辑题：谁是凶手
本系列前面的文章： 逻辑式编程语言极简实现（使用C#） - 1. 逻辑式编程语言介绍 这是一道Prolog经典的练习题，中文翻译版来自阮一峰的文章《Prolog 语言入门教程》。 问题 Boddy 先生死于谋杀，现有六个嫌疑犯，每个人在不同的房间，每间房间各有一件可能的凶器，但不 ...
逻辑式编程语言极简实现（使用C#） - 3. 运行原理
本系列前面的文章： 逻辑式编程语言极简实现（使用C#） - 1. 逻辑式编程语言介绍 逻辑式编程语言极简实现（使用C#） - 2. 一道逻辑题：谁是凶手 第二天，好为人师的老明继续开讲他的私人课堂。 “今天讲NMiniKanren的运行原理。”老明敲了敲白板，开始涂画代码 ...
对函数式编程语言的理解
1.什么是函数式语言？ 函数式编程语言历史： 函数式编程中最古老的例子莫过于1958年被创造出来的Lisp了。函数式编程更加现代一些的例子包括Clean、Clojure、Erlang、Haskell、Miranda、Scheme等。 虽然λ演算并非设计来于计算机上运行，但它可以被视作第一个 ...