- See also
- https://tau-prolog.org/documentation\#prolog
This module is part of the WASM distribution of SWI-Prolog. It
implements the Tau-Prolog DOM library. The event handling predicate
bind/4 is implemented in the
low-level library(wasm).
- [det]add_class(+Elem,
+Class)
- Add classes to a Elem. Class is either a list of
classes or an atom (or string) containing one or more classes separated
by white space.
- [det]append_child(+Elem,
+Child)
- Add Child as a child to Elem.
- [det]attr(+Elem,
+Name, ?Value)
- Set (if Value is ground) or unify an attribute value. This
used the
setAttribute() or getAttribute() methods
unless Name is value. @see get_attr/3
and set_attr/3.
- [det]body(-Body)
- True when Body is the HTML Element that holds the body.
- [det]create(+TagName,
--Elem)
- Create a node from TagName and make it available as Elem.
- [det]document(=Document)
- True when Document is the HTML element representing the
document.
- [semidet]get_attr(+Elem,
+Name, =Value)
- [semidet]get_attribute(+Elem,
+Name, =Value)
- Get an attribute (property) from a JavaScript object. Fails if the
attribute is
undefined.
Note that this predicate conflicts with SWI-Prolog get_attr/3
to get attributes from a variable. For this reason we also make this
predicate available as get_attribute/3.
- [nondet]get_by_class(+Class,
-Elem)
- True when Elem is an HTML element with class Class.
- [nondet]get_by_class(+Parent,
+Class, -Elem)
- True when Elem is an HTML element with class Class
below Parent.
- [semidet]get_by_id(+Id,
-Element)
- True when the current document has Element with Id.
- [nondet]get_by_name(+Name,
-Elem)
- True when Elem is an HTML element with name Name.
- [nondet]get_by_tag(+TagName,
=Elem)
- True when Elem is an HTML element with tag Tag.
- [det]get_html(+Elem,
-HTML:string)
- Get the innerHTML of an element.
- [semidet]get_style(+Elem,
+Attr, =Value)
- True when Value is the computed value for the given style
attribute. If the computed style is undefined, Value is
unified to the element style. The DOM style string is translated into a
Prolog term according to these rules:
px(N) maps to Npx- ’%’(N) maps to N%
url(URL) maps to url("URL")rgb(R,G,B) maps to rgb(R,G,B)
- [semidet]has_class(+Elem,
+Class)
- True if Elem has Class.
- [det]head(=Elem)
- True when Elem is the HTML Element that holds the head.
- [det]html(+Elem,
?InnerHTML)
- Get or set the innerHTML if Elem. See also get_html/2
and
set_html/2.
- [det]insert_after(+Elem,
+Reference)
- Insert Elem after Reference.
- [det]insert_before(+Elem,
+Reference)
- Insert Elem before Reference.
- [nondet]parent_of(?Child,
?Parent)
- True when Child is a direct Child of Parent.
One of the arguments must be instantiated.
- [det]prepend_child(+Elem,
+Child)
- Add Child as first child of Elem.
- [det]remove(+Elem)
- Remove an element from the DOM tree.
- [det]remove_class(+Elem,
+Class)
- Remove Class from the classList of Elem.
- [det]set_attr(+Elem,
+Attr, +Value)
- Use the
setAttribute() interface to set Attr to Value.
If Attr =
value, use Elem.value = Value.
- [det]set_html(+Elem,
+HTML:string)
- Set the
innerHTML of Elem.
- [det]set_style(+Elem,
+Attr, +Value)
- Set a style attribute for Elem. Value is either an
atom, string or term as defined by get_style/3.
- [semidet]sibling(?Elem1,
?Elem2)
- Get the next or previous sibling depending on the mode. This uses the
nextElementSibling
or previousElementSibling, skipping possible intermediate
nodes. Fails for getting the previous of the first or next of the last.
- [det]style(+Elem,
+Attr, ?Style)
- Set or get a style attribute.
- [semidet]event_property(+Event,
+Prop, =Value)
- Extract a property from the event.
- [det]prevent_default(+Event)
- Prevent default behaviour in an event.
- [det]hide(+Elem)
- [det]show(+Elem)
- [det]toggle(+Elem)
- Manage the visibility of Elem. The predicate hide/1
saves the old
display value, which is restored by show/1.
If there is no old display value, show/1
uses block.
- [det]bind(+Elem,
+EventType, -Event, :Goal)
- [det]bind_async(+Elem,
+EventType, -Event, :Goal)
- Bind EventType on Elem to call Goal. If Event
appears in Goal is is bound to the current event.
The bind_async/4
variation runs the event handler on a new Prolog
engine using Prolog.forEach(). This implies that the
handler runs asynchronously and all its solutions are enumerated.
- Compatibility
- bind_async/5 is a SWI-Prolog extension to
the Tau library
- [det]unbind(+Elem,
+EventType)
- Remove the event listener for EventType.
