<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>00447nam a2200181Ia 4500</leader>
  <controlfield tag="008">230711s9999||||xx |||||||||||||| ||und||</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">978-93-81068-36-6</subfield>
  </datafield>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">ENG</subfield>
  </datafield>
  <datafield tag="082" ind1=" " ind2=" ">
    <subfield code="a">5.133</subfield>
    <subfield code="b">SI-S</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">Singh,Gurdev</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2="0">
    <subfield code="a">Symbolic logic and prolog</subfield>
  </datafield>
  <datafield tag="250" ind1=" " ind2=" ">
    <subfield code="a">1st Ed.</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2011</subfield>
    <subfield code="a">New Delhi</subfield>
    <subfield code="b">Khanna Publishers</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">438</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2=" ">
    <subfield code="a">Computer Engineering</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Bhatia,Mandeep Singh</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22264</subfield>
    <subfield code="r">2023-08-17 14:04:48</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22265</subfield>
    <subfield code="r">2023-08-17 14:49:11</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22266</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22267</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22268</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22269</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22270</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22271</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22272</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22273</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22274</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22275</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22276</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22277</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22278</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22279</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22280</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22281</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22282</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22283</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22284</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22285</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22286</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22287</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22288</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22289</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22290</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22291</subfield>
    <subfield code="r">2023-08-17 14:49:12</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">3</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22292</subfield>
    <subfield code="r">2023-09-14 11:07:46</subfield>
    <subfield code="s">2023-09-04</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="8">C</subfield>
    <subfield code="a">MCL</subfield>
    <subfield code="b">MCL</subfield>
    <subfield code="d">0000-00-00</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">5.133 SI-S</subfield>
    <subfield code="p">22293</subfield>
    <subfield code="r">2023-08-17 14:49:13</subfield>
    <subfield code="w">2023-08-17</subfield>
    <subfield code="y">BK</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">5507</subfield>
    <subfield code="d">5507</subfield>
  </datafield>
</record>
