【文件属性】:
文件名称:dict-schema:SWI-Prolog的Dict验证转换
文件大小:10KB
文件格式:ZIP
更新时间:2021-05-10 14:09:39
validation validator swi-prolog Prolog
辞典模式
Swi-Prolog的Dict验证/转换。 该库起初是一个谓词,用于将某些dict(来自HTTP JSON请求)条目转换为合适的形式(尤其是字符串/原子转换)。 该库的很大一部分是受JSON-Schema启发的。
例子
根据架构检查车辆:
?- Schema = _{
type: dict,
keys: _{
year: _{ type: integer, min: 1672 },
make: _{ type: atom, min_length: 1 },
model: _{ type: atom, min_length: 1 }
}
},
Vehicle = vehicle{
year: 1953,
make: chevrolet,
model: corvette
},
conve
【文件预览】:
dict-schema-master
----pack.pl(175B)
----.travis.yml(153B)
----LICENSE(1KB)
----prolog()
--------dict_schema.pl(16KB)
----README.md(10KB)
----Makefile(572B)
----tests()
--------tests.pl(7KB)
----.gitignore(10B)