文件名称：maybe:Prolog“可能”类型
文件大小：6KB
文件格式：ZIP
更新时间：2024-07-09 20:38:48
Prolog
概要 :- use_module(library(maybe)). % staff(Name, Spouse) staff(tom, just(teresa)). staff(bob, nothing). staff(sue, just(william)). ?- staff(Name, MaybeSpouse), maybe_default_value(MaybeSpouse, '(none)', Spouse). Name = tom, Spouse = teresa ; Name = bob, Spouse = '(none)' ; Name = sue, Spouse = william. 描述 maybe类型封装了一个可选值。 当一个值存在时，我们有just(Value) 。 当它不在时，我们nothing都nothing 。 在某些情况下，这可能是比使用 P
【文件预览】：
maybe-master
----t()
--------quickcheck.pl(2KB)
--------synopsis.pl(431B)
--------types.pl(743B)
--------predicates.pl(1KB)
----pack.pl(347B)
----LICENSE(1KB)
----dev.pl(79B)
----prolog()
--------README.md(12B)
--------maybe.pl(4KB)
----README.md(2KB)
----.gitignore(14B)