4:["$","div",null,{"className":"min-h-screen bg-white flex flex-col","children":[["$","div",null,{"className":"px-6 pt-6 pb-4 border-b border-gray-100","children":[["$","div",null,{"className":"flex items-center gap-1.5 text-xs text-gray-400 mb-4","children":[["$","a",null,{"href":"/","className":"hover:text-[#26a69a] transition-colors","children":"Market"}],["$","span",null,{"children":"›"}],["$","span",null,{"className":"text-gray-600","children":"XSB"}]]}],["$","div",null,{"className":"text-[10px] text-gray-400 uppercase tracking-widest mb-1","children":"Company Profile"}],["$","h1",null,{"className":"text-2xl font-bold text-gray-900","children":"XSB"}],null]}],["$","div",null,{"className":"flex-1 px-6 py-6","children":[["$","p",null,{"className":"text-sm text-gray-600 leading-relaxed mb-8","children":"XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc."}],["$","div",null,{"className":"columns-1 md:columns-2 gap-10","children":[["$","div","0",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Features"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"XSB is a compiled dialect of Prolog based on the Warren Abstract Machine. The open source XSB implementation includes an interface to the Python programming language. ==History=="}}]]}],["$","div","1",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"History"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"XSB was originally developed at Stony Brook University by David S. Warren, Theresa Swift, and Kostis Sagonas and launched in 1993-4. It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986, and it was the first implementation of tabled resolution. ==Syntax=="}}]]}],["$","div","2",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Syntax"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"XSB supports the ISO-mandated Prolog data types such as integers, floating point numbers, and atoms. Integers in XSB can be interpreted in multiple bases. By default integers are interpreted in base 10 but can be interpreted in a range of bases from 2 to 36. == See also =="}}]]}]]}],["$","div",null,{"className":"mt-8 pt-4 border-t border-gray-100","children":["$","a",null,{"href":"https://en.wikipedia.org/wiki/XSB","target":"_blank","rel":"noopener noreferrer","className":"text-xs text-gray-400 hover:text-gray-600 transition-colors","children":"Source: Wikipedia ↗"}]}]]}],"$Lf"]}]