dict-schema:SWI-Prolog的Dict验证转换

时间:2021-05-10 14:09:39
【文件属性】:
文件名称: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)

网友评论