File: lit.pl

package info (click to toggle)
swi-prolog 8.2.4%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 78,084 kB
  • sloc: ansic: 362,656; perl: 322,276; java: 5,451; cpp: 4,625; sh: 3,047; ruby: 1,594; javascript: 1,509; yacc: 845; xml: 317; makefile: 156; sed: 12; sql: 6
file content (43 lines) | stat: -rw-r--r-- 801 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
:- module(lit,
          [ lit/0
          ]).
:- include('../local_test').

:- use_module(library(semweb/rdf_db)).

data(string, '').
data(string, 'This is a nice string').

data(int, 0).
data(int, -67).
data(int, 327848).

data(float, 0.0).
data(float, 48.25).

data(term, [let, us, test, a, list]).
data(term, [let, us, test, another, list]).

create :-
    (   data(Type, Value),
        rdf_assert(subject, Type, literal(Value)),
        fail
    ;   true
    ).

lookup :-
    findall(T-V, (rdf(subject, T, X), X = literal(V)), Pairs),
    findall(T-V, data(T, V), Data),
    Data == Pairs.


                 /*******************************
                 *              MAIN            *
                 *******************************/

lit :-
    rdf_reset_db,
    create,
    lookup.