amalgame/commit
controls -> rdf11
author | Jacco van Ossenbruggen |
---|---|
Wed Feb 26 17:51:12 2020 +0100 | |
committer | Jacco van Ossenbruggen |
Wed Feb 26 17:51:12 2020 +0100 | |
commit | dc261eb249604554417dfc2a4dd1a64819312689 |
tree | d5fd354b69924f296a51fd8e0be0d7d8684a4048 |
parent | d71fecdff6c09175345d8ce01f35d272180075c2 |
Diff style: patch stat
diff --git a/components/amalgame/controls.pl b/components/amalgame/controls.pl index d3f3439..d74eb7d 100644 --- a/components/amalgame/controls.pl +++ b/components/amalgame/controls.pl @@ -2,7 +2,7 @@ [ html_controls//0 ]). -:- use_module(library(semweb/rdf_db)). +:- use_module(library(semweb/rdf11)). :- use_module(library(semweb/rdfs)). :- use_module(library(http/html_write)). :- use_module(library(amalgame/amalgame_modules)). @@ -245,7 +245,7 @@ module_input_type(_, 'always_active'). % control in the UI. module_special_type(M, secinput) :- - rdf_has(M, amalgame:need_secondary_inputs, literal(type(xsd:boolean, true))), + rdf_has(M, amalgame:need_secondary_inputs, true^^xsd:boolean), !. module_special_type(M, preloaded) :- rdfs_subclass_of(M, amalgame:'SelectPreLoaded'),