zoukankan      html  css  js  c++  java
  • prolog使用二

    进入和退出:

    $prolog 进入prolog

    输入halt. 退出prolog,同时不要忘记“.”

    语句解释:

    male(di).                    #每一行都是一个字句clause
    male(jianbo).
    female(xin).
    female(yuan).                #不带有”:-“的子句叫做事实(fact)
    female(yuqing).
    father(jianbo,di).
    father(di,yuqing).
    mother(xin,di).
    mother(yuan,yuqing).
    grandfather(X,Y):-father(X,Z),father(Z,Y).   #带有“:-”的子句叫做规则(rule)
    grandmother(X,Y):-mother(X,Z),father(Z,Y).   #以大写英文字母为开头的名称我们称它们为变量,如X,Y
    daughter(X,Y):-father(X,Y),female(Y).        #”,”代表逻辑关系中的”且”

    执行文件:

    法1、prolog 1.pl

    法2、先进入prolog再输入如下查询:

    ?- consult('~/prolog/chapter2.pl').
    

    这里”consult”的意思是让SWI-Prolog加载你编写的程序,然后编译它。

    输出语句:

    writeln 写一行然后换行

    write 写一行

    nl 换行

    如:

    ?- write('22'),nl,write('23').
    22
    23
    true.

    ?- write('22'),write('23').
    2223
    true.

    ?- writeln('22'),write('23').
    22
    23
    true.

  • 相关阅读:
    前中后序建立树或者直接历遍
    Leetcode:面试题 04.03. 特定深度节点链表
    按层数层序历遍
    Solidity函数修饰符
    无线传感网定位技术
    无线传感器网络概述,传感器网络结构
    Solidity高级用法
    智能合约交互
    内存
    CPU的态
  • 原文地址:https://www.cnblogs.com/hozhangel/p/7778015.html
Copyright © 2011-2022 走看看